Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
221	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
222	Optimization of Handover Mechanism in 802.16e using Fuzzy Logic. Add to Reading List Source URL: dl.ifip.org Language: English - Date: 2014-08-10 19:38:08 Mathematical logic Radio resource management IEEE 802 Metropolitan area networks Mobile technology IEEE 802.16 Handover WiMAX Macrodiversity Technology Logic Fuzzy logic
223	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
224	MATHEMATICS OF OPERATIONS RESEARCH Vol. 35, No. 2, May 2010, pp. 479–493 issn 0364-765X eissn[removed] 10 3502 0479 informs Add to Reading List Source URL: mgoycool.uai.cl Language: English - Date: 2011-10-28 12:33:41 Combinatorial optimization Elementary algebra Inequality Linear programming Combinatory logic Max-flow min-cut theorem Mathematics Theoretical computer science Applied mathematics
225	State space search with prioritised soft constraints Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-05-10 13:21:07 Software engineering Applied mathematics Constraint Mathematical optimization Search algorithm Constraint optimization Constraint logic programming Constraint programming Theoretical computer science Constraint satisfaction
226	The Scientific World Journal Special Issue on Biomimetic Approaches for Aerospace Engineering Applications CALL FOR PAPERS Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-11-26 02:32:25 Control theory Systems theory Logic in computer science Mathematical optimization Operations research Fuzzy logic Intelligent control Control system Aerospace engineering Artificial intelligence Science Cybernetics
227	Applying Domain Analysis Techniques for Domain-Dependent Control in TALplanner Jonas Kvarnstr¨om Dept. of Computer and Information Science, Link¨oping University, SE[removed]Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:22 Mathematical logic Μ operator Well-formed formula Function Mathematical optimization Mathematics Logic Formal languages
228	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
229	SAT-Based Logic Optimization and Resynthesis Alan Mishchenko Robert Brayton Jie-Hong Roland Jiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2007-09-24 19:38:05 Electrical engineering Electronics And-inverter graph Boolean network Mathematical optimization Logic synthesis Lookup table Electronic engineering Electronic design automation Diagrams
230	Magic: An Industrial-Strength Logic Optimization, Technology Mapping, and Formal Verification System Alan Mishchenko Niklas Een Robert Brayton Stephen Jang Maciej Ciesielski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-19 22:25:46 Digital electronics Integrated circuits Standard cell Field-programmable gate array Logic optimization Retiming Physical design Logic synthesis Placement Electronic engineering Electronic design automation Electronic design

UPDATE